Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics
نویسندگان
چکیده
The theories of apartness, equality, and n-stable equality are presented through contractionand cut-free sequent calculi. By methods of proof analysis, a purely proof-theoretic characterization of the equality fragment of apartness is obtained. Philosophia Scientiæ, Cahier spécial 6, 2006, 61–79. 62 Bianca Boretti and Sara Negri
منابع مشابه
Sequent calculus proof theory of intuitionistic apartness and order relations
Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apar...
متن کاملA new approach to rank the decision making units in presence of infeasibility in intuitionistic fuzzy environment
Data envelopment analysis (DEA) is a linear programming based methodology to determine the relative performance efficiencies of homogeneous decision making units (DMUs). In real world applications, some input and output datas do not possess crisp/fuzzy essence but they possess intuitionistic fuzzy (IF) essence. So, in this study, we develop an IF BCC (IFBCC) and an IF super efficiency BCC (IFSE...
متن کاملJourney into Apartness Space
On more than one occasion, the late Errett Bishop [1] suggested that general pointset topology might have little signi cance for constructive mathematics, and that locally convex spaces, together with appropriate ad hoc topological constructions, might su¢ ce for most constructive analysis. Work begun by us ve years ago suggests that, on the contrary, there is at least one constructive approa...
متن کاملAn extended intuitionistic fuzzy modified group complex proportional assessment approach
Complex proportional assessment (COPRAS) methodology is one of the well-known multiple criteria group decision-making (MCGDM) frameworks that can focus on proportional and direct dependences of the significance and utility degree of candidates under the presence of mutually conflicting criteria in real-worldcases. This studyelaboratesa newintuitionistic fuzzy modified group complex proportional...
متن کاملA Compromise Ratio Ranking Method of Triangular Intuitionistic Fuzzy Numbers\ and Its Application to MADM Problems
Triangular intuitionistic fuzzy numbers (TIFNs) is a special case of intuitionistic fuzzy (IF) set and the ranking of TIFNs is an important problem. The aim of this paper is to develop a new methodology for ranking TIFNs by using multiattribute decision making methods (MADM). In this methodology, the value and ambiguity indices of TIFNs may be considered as the attributes and the TIFNs in compa...
متن کامل